Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism
نویسنده
چکیده
Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism. Abstract The paper proves that for any second order conservative constraint language with a Maltsev polymorphism there is a majority polymor-phism. Moreover, the majority polymorphism can be defined by the Maltsev polymorphism.
منابع مشابه
Maltsev digraphs have a majority polymorphism
We prove that when a digraph G has a Maltsev polymorphism, then G also has a ma jority polymorphism. We consider the consequences of this result for the structure of Maltsev digraphs and the complexity of the Constraint Satisfaction Problem.
متن کاملFinal Report for EPSRC Grant EP/E016146/1 Relational Parametricity for Computational Effects
Polymorphism is a feature of many programming languages, including typed functional languages (e.g., SML, Haskell), and recent “generic” versions of Java. Relational parametricity, introduced by Reynolds in 1983, is a powerful principle for reasoning about polymorphic programs and types. Previously, relational parametricity has been mainly studied for the second-order lambda calculus, a simple,...
متن کاملAssociation between the Functional Polymorphism of Vascular Endothelial Growth Factor Gene and Breast Cancer: A Meta-Analysis
The vascular endothelial growth factor (VEGF) gene single-nucleotide polymorphism involved in the regulation of the protein levels has been implicated in breast cancer. However, the published studies have produced contentious and controversial results. Herein, we performed a meta-analysis (from January to October 2013); to further evaluate the association between +936 C/T polymorphism and the r...
متن کاملOn Maltsev Digraphs
We study digraphs preserved by a Maltsev operation: Maltsev digraphs. We show that these digraphs retract either onto a directed path or to the disjoint union of directed cycles, showing in this way that the constraint satisfaction problem for Maltsev digraphs is in logspace, L. We then generalize results from Kazda (2011) to show that a Maltsev digraph is preserved not only by a majority opera...
متن کاملAssociation between Glutathione peroxidase1 gene (GPX1pro198Leu) polymorphism with preeclampsia in south of Iran
Introduction: Preeclampsia is a common and serious hypertensive disorder affecting approximately 5-8 % of pregnancies. The biology of the disease is complex and not understood. This disease associated with increased blood pressure more than 140/90 mmHg in the second half of pregnancy and proteinuria more than 300 mg/24 h and is considered as one of the three leading causes of maternal and fetal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1702.07267 شماره
صفحات -
تاریخ انتشار 2017